/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package atributosDef;

import java.util.ArrayList;
import tablaDeSimbolos.TablaDeSimbolos;

/**
 *
 * @author Prado
 */
public class AtributosDefTipos extends AtributosDef{
    
    private Registro registroTipo;

    public AtributosDefTipos(Registro registroTipo, TablaDeSimbolos ts, int etq, ArrayList<Instruccion> cod, boolean[] errores) {
        super(ts, etq, cod, errores);
        this.registroTipo = registroTipo;
    }

    public Registro getRegistroTipo() {
        return registroTipo;
    }
    
    
}
